.pull-right {
	margin-left: auto !important;
}

.hidden {
  display: none;
}
